Djamel Eddine AMIR

Journals

2025

• Descriptive complexity of topological invariants.
  Djamel Eddine Amir and Mathieu Hoyrup.
  Annals of Pure and Applied Logic (APAL) [HAL, doi]

2024

• The surjection property and computable type.
  Djamel Eddine Amir and Mathieu Hoyrup.
  Topology and its Applications [arXiv, HAL, doi]

2023

• Strong computable type.
  Djamel Eddine Amir and Mathieu Hoyrup.
  Computability 12(3):227-269 [arXiv, HAL, doi]


• Comparing computability in two topologies.
  Djamel Eddine Amir and Mathieu Hoyrup.
  Journal of Symbolic Logic. [HAL, doi]

Conferences

2025

• Minimality and Computability of Languages of G-Shifts.
  Djamel Eddine Amir and Benjamin Hellouin de Menibus.
  To appear in ICALP 2025. [arXiv, ICALP 2025]

2022

• Computability of finite simplicial complexes.
  Djamel Eddine Amir and Mathieu Hoyrup.
  ICALP 2022. [arXiv, HAL, doi]

PhD Thesis